Link logo to the main crates.io page

Closes #953

diff --git a/src/doc/header.html b/src/doc/header.html
index b2c6f8f0243591e9168a3588406ce9bfc612d468..e70fecfcb492aa326be5f3fe47b122cb5ef8c29a 100644 (file)
--- a/src/doc/header.html
+++ b/src/doc/header.html
@@ -5,7 +5,7 @@
 </a>
 
 <div id="header">
-    <a href='index.html' class='logo'>
+    <a href='https://crates.io' class='logo'>
         <img id="logo" height=100 width=100 src='images/Cargo-Logo-Small.png'/>
     </a>
     <a href="index.html">